complete disjunction

完全析取